package services;

import utils.PowerVilain;
import utils.Sante;
import utils.TypeVilain;
import contracts.ContractException;

public interface VilainService {
	
	/* Observators */
	public TypeVilain getType();
	public PowerVilain getPower();
	public int getX();
	public int getY();
	public Sante getVilainSante();
	public int getNumero();
	
	/* Constructors */
	public void init(TypeVilain typevilain) throws ContractException;
		
	/*	observations :
		[init]
			getX(init(typevilain))=1
			getY(init(typevilain))=1	
			getType(init(typevilain)) = typevilain
			if getType(init(typevilain)) = FANTOMEBLEU then getType(init(typevilain))=FANTOMEBLEU
			if getType(init(typevilain)) = BALLONORANGE then getPower(init(typevilain))=BALLONORANGE
	 */
}
